doact($k$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr($\langle$$k$$,\,$$v$$\rangle$)